@echo off
FOR %%f IN (prog*.txt) DO echo %%f: && java Project4.Main < %%f > %%~nf.s && echo.
